Pattern-based model-to-model transformation: Handling attribute conditions

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-02408-5_7Proceedings of Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on patterns describing allowed or forbidden relations between two models, which are compiled into operational mechanisms to perform forward and backward transformations. In this paper, we extend the approach for handling attribute conditions expressed in some suitable logic, adapt the operational mechanisms based on graph transformation to relax attribute handling by constraint solving, and discuss heuristics for the compilation of patterns into rules.Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081),MODUWEB (TIN2006-09678) and FORMALISM (TIN2007-66523).Moreover, part of this work was done during a sabbatical leave of the third author at TU Berlin, with financial support from the Ministerio de Ciencia e Innovaci´on (grant ref. PR2008-0185). We thank the referees for their useful comment

Correctness, completeness and termination of pattern-based model-to-model transformation

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-03741-2_26Proceedings of Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009.Model-to-model (M2M) transformation consists in trans- forming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, in the sense that every model considered relevant can be built by the rules.Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081), MODUWEB (TIN2006-09678) and FORMALISM (TIN2007-66523). Moreover, part of this work was done during a sabbatical leave of the first author at TU Berlin, with financial support from the Spanish Ministry of Science and Innovation (grant ref. PR2008-0185). We thank the referees for their useful comment

Correctly Defined Concrete Syntax for Visual Modeling Languages

The syntax of modeling languages is usually defined in two steps. The abstract syntax identifies modeling concepts whereas the concrete syntax clarifies how these modeling concepts are rendered by visual and/or textual elements. While the abstract syntax is often defined in form of a metamodel there is no such standard format yet for concrete syntax definitions; at least as long as the concrete syntax is not purely text-based and classical grammar-based approaches are not applicable. In a previous paper, we proposed to extend the metamodeling approach also to concrete syntax definitions. In this paper, we present an analysis technique for our concrete syntax definitions that detects inconsistencies between the abstract and the concrete syntax of a modeling language. We have implemented our approach on top of the automatic decision procedure SIMPLIFY

Differential effects of long-term aerobic versus cognitively-engaging physical activity on children's visuospatial working memory related brain activation:A cluster RCT

Different types of physical activity are thought to differentially affect children's brain activation, via physiological mechanisms, or by activating similar brain areas during physical and cognitive tasks. Despite many behavioral studies relying on these mechanisms, they have been rarely studied. This study looks at both mechanisms simultaneously, by examining effects of two physical activity interventions (aerobic vs. cognitively-engaging) on children's brain activation. Functional Magnetic Resonance Imaging (fMRI) data of 62 children (48.4% boys, mean age 9.2 years) was analyzed. Children's visuospatial working memory related brain activity patterns were tested using a Spatial Span Task before and after the 14-week interventions consisting of four physical education lessons per week. The control group followed their regular program of two lessons per week. Analyses of activation patterns in SPM 12.0 revealed no activation changes between pretest and posttest (p > .05), and no differences between the three conditions in pretest-posttest changes in brain activation (p > .05). Large inter-individual differences were found, suggesting that not every child benefited from the interventions in the same way. To get more insight into the assumed mechanisms, further research is needed to understand whether, when, for whom, and how physical activity results in changed brain activation patterns

Controlling Reuse in Pattern-Based Model-to-Model Transformations

Model-to-model transformation is a central activity in Model-Driven Engineering that consists of transforming models from a source to a target language. Pattern-based model-to-model transformation is our approach for specifying transformations in a declarative, relational and formal style. The approach relies on patterns describing allowed or forbidden relations between two models. These patterns are compiled into operational mechanisms to perform forward and backward transformations. Inspired by QVT-Relations, in this paper we incorporate into our framework the so-called check-before-enforce semantics, which checks the existence of suitable elements before creating them (i.e. it promotes reuse). Moreover, we enable the use of keys in order to describe when two elements are considered equal. The presented techniques are illustrated with a bidirectional transformation between Web Services Description Language and Enterprise Java Beans models.Work partially supported by the Spanish Ministry of Science and Innovation, with projects METEORIC (TIN2008-02081) and FORMALISM (TIN2007-66523), and the R&D program of the Community of Madrid (S2009/TIC-1650, project “e-Madrid”). Moreover, part of this work was done during a post-doctoral stay of the first author at the University of York, and sabbatical leaves of the second and third authors to the University of York and TU Berlin respectively, all with financial support from the Spanish Ministry of Science and Innovation (grant refs. JC2009-00015, PR2009-0019 and PR2008-0185).Publicad

Comorbidity of asthma and hypertension may be mediated by shared genetic dysregulation and drug side effects

Zolotareva O, Saik OV, Königs C, et al. Comorbidity of asthma and hypertension may be mediated by shared genetic dysregulation and drug side effects. Scientific Reports. 2019;9(1): 16302.Asthma and hypertension are complex diseases coinciding more frequently than expected by chance. Unraveling the mechanisms of comorbidity of asthma and hypertension is necessary for choosing the most appropriate treatment plan for patients with this comorbidity. Since both diseases have a strong genetic component in this article we aimed to find and study genes simultaneously associated with asthma and hypertension. We identified 330 shared genes and found that they form six modules on the interaction network. A strong overlap between genes associated with asthma and hypertension was found on the level of eQTL regulated genes and between targets of drugs relevant for asthma and hypertension. This suggests that the phenomenon of comorbidity of asthma and hypertension may be explained by altered genetic regulation or result from drug side effects. In this work we also demonstrate that not only drug indications but also contraindications provide an important source of molecular evidence helpful to uncover disease mechanisms. These findings give a clue to the possible mechanisms of comorbidity and highlight the direction for future research

Impaired Visual Integration in Children with Traumatic Brain Injury: An Observational Study

Background Axonal injury after traumatic brain injury (TBI) may cause impaired sensory integration. We aim to determine the effects of childhood TBI on visual integration in relation to general neurocognitive functioning. Methods We compared children aged 6-13 diagnosed with TBI (n = 103; M = 1.7 years post-injury) to children with traumatic control (TC) injury (n = 44). Three TBI severity groups were distinguished: mild TBI without risk factors for complicated TBI (mildRF- TBI, n = 22), mild TBI with ≥ 1 risk factor (mildRF+ TBI, n = 46) or moderate/severe TBI (n = 35). An experimental paradigm measured speed and accuracy of goal-directed behavior depending on: (1) visual identification; (2) visual localization; or (3) both, measuring visual integration. Group-differences on reaction time (RT) or accuracy were tracked down to task strategy, visual processing efficiency and extra-decisional processes (e.g. response execution) using diffusion model analysis. General neurocognitive functioning was measured by a Wechsler Intelligence Scale short form. Results The TBI group had poorer accuracy of visual identification and visual integration than the TC group (Ps ≤ .03; ds ≤ -0.40). Analyses differentiating TBI severity revealed that visual identification accuracy was impaired in the moderate/severe TBI group (P = .05, d = -0.50) and that visual integration accuracy was impaired in the mildRF+ TBI gro

Cardiovascular Fitness and Executive Functioning in Primary School-aged Children

Previous research in children has shown that higher cardiovascular fitness is related to better executive functioning. However, the available literature is hampered by methodological limitations. The present study investigates the relationship between cardiovascular fitness and executive functioning in a large sample of healthy children (N = 814). Cardiovascular fitness was assessed with estimated VO2Max from 20 m Shuttle Run Test performance. Executive functioning was assessed using a set of computerized neurocognitive tasks aimed at executive functions (working memory, motor inhibition, interference control) and lower-level neurocognitive functions (information processing and attention). Dependent measures derived from the neurocognitive tests were subjected to principal component analysis. Mixed model analyses tested the relation between cardiovascular fitness and neurocognitive functioning components. Results showed that children with higher cardiovascular fitness performed better on the neurocognitive function components Information Processing and Control, Visuospatial Working Memory and Attention Efficiency. The following measures contained in these components contributed to the observed relations: information processing measures, visuospatial working memory, and speed of alerting attention. No relationship was found between cardiovascular fitness and the other components: Verbal Working Memory, Attention Accuracy, and Interference Control. The present study suggests that there is a relationship between cardiovascular fitness and a specific set of executive functions and lower level neurocognitive functions. These findings highlight the importance of cardiovascular fitness for the overall health of school-aged children

Inducing Cross-Clade Neutralizing Antibodies against HIV-1 by Immunofocusing

Background: Although vaccines are important in preventing viral infections by inducing neutralizing antibodies (nAbs), HIV-1 has proven to be a difficult target and escapes humoral immunity through various mechanisms. We sought to test whether HIV-1 Env mimics may serve as immunogens. Methodology/Principal Findings: Using random peptide phage display libraries, we identified the epitopes recognized by polyclonal antibodies of a rhesus monkey that had developed high-titer, broadly reactive nAbs after infection with a simianhuman immunodeficiency virus (SHIV) encoding env of a recently transmitted HIV-1 clade C (HIV-C). Phage peptide inserts were analyzed for conformational and linear homology using computational analysis; some peptides mimicked various domains of the original HIV-C Env, such as conformational V3 loop epitopes and the conserved linear region of the gp120 C-terminus. Next, we devised a novel prime/boost strategy to test the immunogenicity of such phage-displayed peptides and primed mice only once with HIV-C gp160 DNA followed by boosting with mixtures of recombinant phages. Conclusions/Significance: This strategy, which was designed to focus the immune system on a few Env epitopes (immunofocusing), not only induced HIV-C gp160 binding antibodies and cross-clade nAbs, but also linked a conserved HIV Env region for the first time to the induction of nAbs: the C-terminus of gp120. The identification of conserved antige